Inference Graphs: A New Kind of Hybrid Reasoning System
نویسندگان
چکیده
Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.
منابع مشابه
Comprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کاملEstimating the Optimal Dosage of Sodium Valproate in Idiopathic Generalized Epilepsy with Adaptive Neuro-Fuzzy Inference System
Introduction: Epilepsy is a clinical syndrome in which seizures have a tendency to recur. Sodium valproate is the most effective drug in the treatment of all types of generalized seizures. Finding the optimal dosage (the lowest effective dose) of sodium valproate is a real challenge to all neurologists. In this study, a new approach based on Adaptive Neuro-Fuzzy Inference System (ANFIS) was pre...
متن کاملElectricity Load Forecasting by Combining Adaptive Neuro-fuzzy Inference System and Seasonal Auto-Regressive Integrated Moving Average
Nowadays, electricity load forecasting, as one of the most important areas, plays a crucial role in the economic process. What separates electricity from other commodities is the impossibility of storing it on a large scale and cost-effective construction of new power generation and distribution plants. Also, the existence of seasonality, nonlinear complexity, and ambiguity pattern in electrici...
متن کاملPredicting Unconfined Compressive Strength of Intact Rock Using New Hybrid Intelligent Models
Bedrock unconfined compressive strength (UCS) is a key parameter in designing thegeosciences and building related projects comprising both the underground and surface rock structures. Determination of rock UCS using standard laboratory tests is a complicated, expensive, and time-consuming process, which requires fresh core specimens. However, preparing fresh cores is not always possible, especi...
متن کاملHybrid Representation for Speci cation andCommunication of Mathematical
It is well known that mathematicians switch to diierent views of a problem when needed. They can represent a problem at a formal, conceptual, heuristic, algorithmic or constraint level whenever necessary. To represent Mathematics within several formalisms has been the subject of many research projects. However, only few knowledge-based systems manage translations of representations between theo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014